7

Symbolic Bisimulation for Quantum Processes

Year:
2014
Language:
english
File:
PDF, 1.23 MB
english, 2014
17

Ion-conducting polymer gels of polyacrylamide embedded with K2CO3

Year:
2004
Language:
english
File:
PDF, 220 KB
english, 2004
18

Probabilistic Barbed Congruence

Year:
2007
Language:
english
File:
PDF, 378 KB
english, 2007
19

The Kantorovich Metric in Computer Science: A Brief Survey

Year:
2009
Language:
english
File:
PDF, 246 KB
english, 2009
20

On Mobility and Communication

Year:
2009
Language:
english
File:
PDF, 295 KB
english, 2009
22

Axiomatizations for probabilistic finite-state behaviors

Year:
2007
Language:
english
File:
PDF, 541 KB
english, 2007
23

On automatic verification of self-stabilizing population protocols

Year:
2008
Language:
english
File:
PDF, 159 KB
english, 2008
25

Weak Probabilistic Anonymity

Year:
2007
Language:
english
File:
PDF, 439 KB
english, 2007
28

Towards an algebraic theory of typed mobile processes

Year:
2006
Language:
english
File:
PDF, 362 KB
english, 2006
29

Characterisations of testing preorders for a finite probabilisticπ-calculus

Year:
2012
Language:
english
File:
PDF, 424 KB
english, 2012
31

Ensuring termination by typability

Year:
2006
Language:
english
File:
PDF, 344 KB
english, 2006
34

On the semantics of Markov automata

Year:
2013
Language:
english
File:
PDF, 552 KB
english, 2013
44

Compositional reasoning for weighted Markov decision processes

Year:
2013
Language:
english
File:
PDF, 733 KB
english, 2013
47

Real-reward testing for probabilistic processes

Year:
2014
Language:
english
File:
PDF, 986 KB
english, 2014